翻訳と辞書 |
propositional logic : FOLDOC | propositional logic (or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and {logical connectives}. Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic, it does not consider the internal structure of propositions. (2002-05-21)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|